
((_TOP-GOAL HOME) ((_INITIALIZE) (!_INIT))
 ((_ONEDAY) ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-MORNING)
   ((_MORNING-ACTION) ((WAKEUP MY_BED) (!WAKE-UP MY_BED))
    ((SHOWER HOME) (!UNDRESS ME) (!TURN-ON-SHOWER SHOWER1) (!USE-SOAP SHOWER1)
     (!SHOWER SHOWER1) (!TURN-OFF-SHOWER SHOWER1) (!USE-TOWEL SHOWER1)
     (!DRESS ME)))
   (!LISPBOTS-4HOURS))
  ((_TIME-BEFORENOON)
   ((_BEFORENOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
      (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
      ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
       (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1)))))
   ((_BEFORENOON-ACTION)
    ((SATISFYHUNGER)
     ((COOK STOVE1 HNEDAVE_COSI) (!GET-INGREDIENTS) (!MIX-INGREDIENTS)
      (!LIGHT-STOVE STOVE1) (!COOK STOVE1 HNEDAVE_COSI))
     (!EAT HNEDAVE_COSI TEST) (!DRINK)))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((GETTO WORK)
      ((TRAVEL HOME WORK) (!GET-TO-TRAMSTOP HOME) (!WAIT-FOR-TRAM TRAM11)
       (!BOARD-TRAM TRAM11) (!RIDETRAM TRAM11 HOME WORK) (!EXIT-TRAM TRAM11)
       (!GET-FROM-TRAMSTOP WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   (!LISPBOTS-4HOURS))
  ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-NOON)
   ((_NOON-ACTION)
    ((SATISFYHUNGER) ((GETTO HOME) ((TRAVEL WORK HOME) (!WALK WORK HOME)))
     ((COOK STOVE1 BLEDEZELENY_VYVAR) (!GET-INGREDIENTS) (!MIX-INGREDIENTS)
      (!LIGHT-STOVE STOVE1) (!COOK STOVE1 BLEDEZELENY_VYVAR))
     (!EAT BLEDEZELENY_VYVAR TEST) (!DRINK)))
   (!LISPBOTS-4HOURS))
  ((_TIME-AFTERNOON)
   ((_AFTERNOON-ACTION)
    ((WORK) ((GETTO WORK) ((TRAVEL HOME WORK) (!WALK HOME WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!SIT TOILET4) (!USETOILET TOILET4)
      (!READNEWS TOILET4) (!STAND TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!SIT TOILET4) (!USETOILET TOILET4)
      (!READNEWS TOILET4) (!STAND TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   (!LISPBOTS-4HOURS))
  ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-EVENING)
   ((_EVENING-ACTION)
    ((GOTOPUB)
     ((GETTO U_SVEJKA)
      ((TRAVEL WORK U_SVEJKA) (!GET-TO-TRAMSTOP WORK) (!WAIT-FOR-TRAM TRAM22)
       (!BOARD-TRAM TRAM22) (!RIDETRAM TRAM22 WORK U_SVEJKA)
       (!EXIT-TRAM TRAM22) (!GET-FROM-TRAMSTOP U_SVEJKA)))
     ((PUBACTION) (!ORDER-BEER) (!DRINK)) ((PUBACTION) (!ORDER-BEER) (!DRINK))
     ((PUBACTION) (!SING)) ((PUBACTION) (!DANCE))))
   (!LISPBOTS-4HOURS))
  ((_TIME-NIGHT)
   ((_NIGHT-ACTION)
    ((GOTOPUB) ((PUBACTION) (!ORDER-BEER) (!DRINK)) ((PUBACTION) (!CHAT))
     ((PUBACTION) (!ORDER-BEER) (!DRINK)) ((PUBACTION) (!SING)))
    ((GOTOSLEEP)
     ((GETTO HOME)
      ((TRAVEL U_SVEJKA HOME) (!GET-TO-TRAMSTOP U_SVEJKA)
       (!WAIT-FOR-TRAM TRAM22) (!BOARD-TRAM TRAM22)
       (!RIDETRAM TRAM22 U_SVEJKA HOME) (!EXIT-TRAM TRAM22)
       (!GET-FROM-TRAMSTOP HOME)))
     (!FALL-ASLEEP MY_BED)
     ((DOSLEEP MY_BED)
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!SIT TOILET1) (!USETOILET TOILET1)
         (!READNEWS TOILET1) (!STAND TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED)))))
   (!LISPBOTS-4HOURS) (!LISPBOTS-SLEEP))))

((_TOP-GOAL HOME)
 ((_ONEDAY)
  ((_TIME-MORNING)
   ((_MORNING-ACTION) ((WAKEUP MY_BED) (!WAKE-UP MY_BED))
    ((SHOWER HOME) (!UNDRESS ME) (!TURN-ON-SHOWER SHOWER1) (!USE-SOAP SHOWER1)
     (!SHOWER SHOWER1) (!TURN-OFF-SHOWER SHOWER1) (!USE-TOWEL SHOWER1)
     (!DRESS ME))
    ((BRUSHTEETH HOME) (!TURN-ON-SINK SINK1) (!BRUSHTEETH BRUSH1)
     (!TURN-OFF-SINK SINK1)))
   (!LISPBOTS-4HOURS))
  ((_TIME-BEFORENOON)
   ((_BEFORENOON-ACTION)
    ((WORK) ((GETTO WORK) ((TRAVEL HOME WORK) (!WALK HOME WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!SIT TOILET4) (!USETOILET TOILET4)
      (!READNEWS TOILET4) (!STAND TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((SATISFYHUNGER)
     ((GETTO MENZA)
      ((TRAVEL WORK MENZA) (!GET-TO-BUSSTOP WORK) (!WAIT-FOR-BUS BUS160)
       (!BOARD-BUS BUS160) (!RIDEBUS BUS160 WORK MENZA) (!EXIT-BUS BUS160)
       (!GET-FROM-BUSSTOP MENZA)))
     (!ORDER BLEDEZELENY_VYVAR) (!EAT BLEDEZELENY_VYVAR TEST) (!DRINK)))
   ((_BEFORENOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET MENZA TOILET6) (!RAISE-SEAT TOILET6) (!USETOILET TOILET6)
      (!DROP-SEAT TOILET6) (!FLUSH TOILET6)
      ((WASHHANDS MENZA) (!NOT-WASH-HANDS)))))
   ((_BEFORENOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET MENZA TOILET6) (!SIT TOILET6) (!USETOILET TOILET6)
      (!READNEWS TOILET6) (!STAND TOILET6) (!FLUSH TOILET6)
      ((WASHHANDS MENZA) (!NOT-WASH-HANDS)))))
   (!LISPBOTS-4HOURS))
  ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-NOON)
   ((_NOON-ACTION)
    ((SATISFYHUNGER)
     ((GETTO HOME)
      ((TRAVEL MENZA HOME) (!GET-TO-BUSSTOP MENZA) (!WAIT-FOR-BUS BUS120)
       (!BOARD-BUS BUS120) (!RIDEBUS BUS120 MENZA HOME) (!EXIT-BUS BUS120)
       (!GET-FROM-BUSSTOP HOME)))
     ((COOK STOVE1 RIZEK) (!GET-INGREDIENTS) (!MIX-INGREDIENTS)
      (!LIGHT-STOVE STOVE1) (!COOK STOVE1 RIZEK))
     (!EAT RIZEK TEST) (!DRINK)))
   (!LISPBOTS-4HOURS))
  ((_TIME-AFTERNOON)
   ((_AFTERNOON-ACTION)
    ((WORK) ((GETTO WORK) ((TRAVEL HOME WORK) (!WALK HOME WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!RAISE-SEAT TOILET4) (!USETOILET TOILET4)
      (!DROP-SEAT TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!RAISE-SEAT TOILET4) (!USETOILET TOILET4)
      (!DROP-SEAT TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!RAISE-SEAT TOILET4) (!USETOILET TOILET4)
      (!DROP-SEAT TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!RAISE-SEAT TOILET4) (!USETOILET TOILET4)
      (!DROP-SEAT TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   (!LISPBOTS-4HOURS))
  ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-EVENING) ((_EVENING-ACTION) ((DONOTHING) (!NOTHING)))
   (!LISPBOTS-4HOURS))
  ((_TIME-NIGHT)
   ((_NIGHT-ACTION)
    ((GOTOPUB)
     ((GETTO VYPICHNUTY_VOKO)
      ((TRAVEL WORK VYPICHNUTY_VOKO) (!GET-TO-TRAMSTOP WORK)
       (!WAIT-FOR-TRAM TRAM33) (!BOARD-TRAM TRAM33)
       (!RIDETRAM TRAM33 WORK VYPICHNUTY_VOKO) (!EXIT-TRAM TRAM33)
       (!GET-FROM-TRAMSTOP VYPICHNUTY_VOKO)))
     ((PUBACTION) (!SING)) ((PUBACTION) (!DANCE)) ((PUBACTION) (!SING))
     ((PUBACTION) (!CHAT)))
    ((GOTOSLEEP)
     ((GETTO HOME)
      ((TRAVEL VYPICHNUTY_VOKO HOME) (!GET-TO-TRAMSTOP VYPICHNUTY_VOKO)
       (!WAIT-FOR-TRAM TRAM33) (!BOARD-TRAM TRAM33)
       (!RIDETRAM TRAM33 VYPICHNUTY_VOKO HOME) (!EXIT-TRAM TRAM33)
       (!GET-FROM-TRAMSTOP HOME)))
     (!FALL-ASLEEP MY_BED)
     ((DOSLEEP MY_BED) ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED)))))
   (!LISPBOTS-4HOURS) (!LISPBOTS-SLEEP))))

((_TOP-GOAL HOME)
 ((_ONEDAY)
  ((_TIME-MORNING)
   ((_MORNING-ACTION) ((WAKEUP MY_BED) (!WAKE-UP MY_BED))
    ((SHOWER HOME) (!UNDRESS ME) (!TURN-ON-SHOWER SHOWER1) (!USE-SOAP SHOWER1)
     (!SHOWER SHOWER1) (!TURN-OFF-SHOWER SHOWER1) (!USE-TOWEL SHOWER1)
     (!DRESS ME))
    ((BRUSHTEETH HOME) (!TURN-ON-SINK SINK1) (!BRUSHTEETH BRUSH1)
     (!TURN-OFF-SINK SINK1)))
   (!LISPBOTS-4HOURS))
  ((_TIME-BEFORENOON)
   ((_BEFORENOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
      (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
      ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
       (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1)))))
   ((_BEFORENOON-ACTION)
    ((WORK) ((GETTO WORK) ((TRAVEL HOME WORK) (!WALK HOME WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((SATISFYHUNGER)
     ((GETTO PARENTS_HOME)
      ((TRAVEL WORK PARENTS_HOME) (!GET-TO-BUSSTOP WORK) (!WAIT-FOR-BUS BUS155)
       (!BOARD-BUS BUS155) (!RIDEBUS BUS155 WORK PARENTS_HOME)
       (!EXIT-BUS BUS155) (!GET-FROM-BUSSTOP PARENTS_HOME)))
     ((COOK STOVE3 SEKANA) (!GET-INGREDIENTS) (!MIX-INGREDIENTS)
      (!LIGHT-STOVE STOVE3) (!COOK STOVE3 SEKANA))
     (!EAT SEKANA TEST) (!DRINK)))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((GETTO WORK)
      ((TRAVEL PARENTS_HOME WORK) (!GET-TO-BUSSTOP PARENTS_HOME)
       (!WAIT-FOR-BUS BUS155) (!BOARD-BUS BUS155)
       (!RIDEBUS BUS155 PARENTS_HOME WORK) (!EXIT-BUS BUS155)
       (!GET-FROM-BUSSTOP WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_BEFORENOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   (!LISPBOTS-4HOURS))
  ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-NOON)
   ((_NOON-ACTION)
    ((SATISFYHUNGER)
     ((GETTO HOME)
      ((TRAVEL WORK HOME) (!GET-TO-BUSSTOP WORK) (!WAIT-FOR-BUS BUS210)
       (!BOARD-BUS BUS210) (!RIDEBUS BUS210 WORK HOME) (!EXIT-BUS BUS210)
       (!GET-FROM-BUSSTOP HOME)))
     ((COOK STOVE1 SEKANA) (!GET-INGREDIENTS) (!MIX-INGREDIENTS)
      (!LIGHT-STOVE STOVE1) (!COOK STOVE1 SEKANA))
     (!EAT SEKANA TEST) (!DRINK)))
   (!LISPBOTS-4HOURS))
  ((_TIME-AFTERNOON)
   ((_AFTERNOON-ACTION)
    ((WORK) ((GETTO WORK) ((TRAVEL HOME WORK) (!WALK HOME WORK)))
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((SEEKTOILET)
     ((USETOILET WORK TOILET4) (!RAISE-SEAT TOILET4) (!USETOILET TOILET4)
      (!DROP-SEAT TOILET4) (!FLUSH TOILET4)
      ((WASHHANDS WORK) (!TURN-ON-SINK SINK4) (!USE-SOAP SINK4)
       (!WASH-HANDS SINK4) (!TURN-OFF-SINK SINK4)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2))
      ((WRITEDOCUMENT COMPUTER2) (!TYPETEXT COMPUTER2) (!FORMATDOC COMPUTER2)
       (!PROOFREAD COMPUTER2)))))
   ((_AFTERNOON-ACTION)
    ((WORK)
     ((WORKATCOMPUTER COMPUTER2)
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2))
      ((PROGRAM COMPUTER2) (!WRITE-CODE COMPUTER2) (!DEBUG-CODE COMPUTER2)
       (!CURSE COMPUTER2) (!DEBUG-CODE COMPUTER2) (!TEST-CODE COMPUTER2)
       (!DEBUG-CODE COMPUTER2)))))
   (!LISPBOTS-4HOURS))
  ((_BECOMEHUNGRY) (!_BECOMEHUNGRY))
  ((_TIME-EVENING)
   ((_EVENING-ACTION)
    ((GOTOPUB)
     ((GETTO VYPICHNUTY_VOKO)
      ((TRAVEL WORK VYPICHNUTY_VOKO) (!GET-TO-TRAMSTOP WORK)
       (!WAIT-FOR-TRAM TRAM33) (!BOARD-TRAM TRAM33)
       (!RIDETRAM TRAM33 WORK VYPICHNUTY_VOKO) (!EXIT-TRAM TRAM33)
       (!GET-FROM-TRAMSTOP VYPICHNUTY_VOKO)))
     ((PUBACTION) (!ORDER-BEER) (!DRINK)) ((PUBACTION) (!SING))
     ((PUBACTION) (!ORDER-BEER) (!DRINK)) ((PUBACTION) (!SING))))
   (!LISPBOTS-4HOURS))
  ((_TIME-NIGHT)
   ((_NIGHT-ACTION)
    ((GOTOPUB)
     ((GETTO U_SVEJKA)
      ((TRAVEL VYPICHNUTY_VOKO U_SVEJKA) (!GET-TO-TRAMSTOP VYPICHNUTY_VOKO)
       (!WAIT-FOR-TRAM TRAM14) (!BOARD-TRAM TRAM14)
       (!RIDETRAM TRAM14 VYPICHNUTY_VOKO U_SVEJKA) (!EXIT-TRAM TRAM14)
       (!GET-FROM-TRAMSTOP U_SVEJKA)))
     ((PUBACTION) (!CHAT)) ((PUBACTION) (!SING))
     ((PUBACTION) (!ORDER-BEER) (!DRINK)) ((PUBACTION) (!ORDER-BEER) (!DRINK)))
    ((GOTOSLEEP)
     ((GETTO HOME)
      ((TRAVEL U_SVEJKA HOME) (!GET-TO-TRAMSTOP U_SVEJKA)
       (!WAIT-FOR-TRAM TRAM22) (!BOARD-TRAM TRAM22)
       (!RIDETRAM TRAM22 U_SVEJKA HOME) (!EXIT-TRAM TRAM22)
       (!GET-FROM-TRAMSTOP HOME)))
     (!FALL-ASLEEP MY_BED)
     ((DOSLEEP MY_BED) ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!SIT TOILET1) (!USETOILET TOILET1)
         (!READNEWS TOILET1) (!STAND TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SNORE MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!SLEEP MY_BED))
      ((ATOMICSLEEP MY_BED) (!WAKE-UP MY_BED)
       ((SEEKTOILET)
        ((USETOILET HOME TOILET1) (!RAISE-SEAT TOILET1) (!USETOILET TOILET1)
         (!DROP-SEAT TOILET1) (!FLUSH TOILET1)
         ((WASHHANDS HOME) (!TURN-ON-SINK SINK1) (!USE-SOAP SINK1)
          (!WASH-HANDS SINK1) (!TURN-OFF-SINK SINK1))))
       (!FALL-ASLEEP MY_BED)))))
   (!LISPBOTS-4HOURS) (!LISPBOTS-SLEEP))))
